Mobile Robot Localization Using Extended Kalman Filter - Part 1: Problem Formulation